Issue1209-5.agda:3,8-14
Stream is declared coinductive, but option --guardedness is not
enabled. Coinductive functions on this type will likely be rejected
by the termination checker unless this flag is enabled.
when checking the definition of Stream
Issue1209-5.agda:11,1-13,26
Termination checking failed for the following functions:
  repeat
Problematic calls:
  repeat x
    (at Issue1209-5.agda:13,18-24)
